$\forall$$x$:chain\_master(). ($\uparrow$cmseq?($x$)) $\Rightarrow$ (cmseq{-}num($x$) $\in$ $\mathbb{N}$)